In-system programming

Results: 1455



#Item
211Virtual machines / Programming language implementation / Hyper-V / VirtualBox / OpenVZ / Paravirtualization / Xen / HPC Challenge Benchmark / Comparison of platform virtual machines / System software / Software / VMware

Evaluation of the HPC Challenge Benchmarks in Virtualized Environments⋆ Piotr Luszczek, Eric Meek, Shirley Moore, Dan Terpstra, Vincent M. Weaver, Jack Dongarra Innovative Computing Laboratory University of Tennessee K

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2011-06-28 09:28:49
212Object-oriented programming / Application programming interfaces / Abstraction / Data management / X Window System / Class / Complexity / Function / Computational complexity theory / Software engineering / Computing / Software

Some Complexities in Computer-Based Systems and Their Implications for System Development Michael Jackson 101 Hamilton Terrace London NW8 9QX +

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2002-05-03 12:56:50
213Logic / Formal sciences / Frege system / Propositional calculus / IEEE Symposium on Logic in Computer Science / Mathematical logic / Logic programming / Proof theory / Samuel Buss / Theoretical computer science / Logic in computer science / Mathematics

Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego

Add to Reading List

Source URL: euclid.ucsd.edu

Language: English - Date: 2013-03-11 00:53:25
214Electronics / Electronic engineering / Microcontrollers / Integrated circuits / EEPROM / EPROM / Atmel AVR / Read-only memory / Computer memory / Non-volatile memory / Computer hardware

USING THE A90S (AVR) ADAPTER The A90S adapter allows the Andromeda Reseaerch EPROM+ programming system to support both the 90SXXXX and 89SXXXX microcontroller families from ATMEL. Install the adapter fully left in the pr

Add to Reading List

Source URL: www.arlabs.com

Language: English - Date: 2014-02-13 22:41:43
215Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.repo.bppt.go.id

Language: English - Date: 2008-08-20 09:09:33
216Visual programming languages / Infographics / Procedural programming languages / Literate programming / Integrated development environment / Hypermedia / Visual Basic / Visualization / Computer program / Computing / Software engineering / Software

VISUALIZATION OF PROGRAMS IN TEXTBOOKS Pieterse V and Bishop JM Department of Computer Science, University of Pretoria May 1996 The analysis for a generic design of a hypothetical system that is called VIZA UTHOR is disc

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:27:09
217Programming language theory / Type system / Lambda calculus / Subtype polymorphism / System F / Π-calculus / Type safety / Type theory / Software engineering / Theoretical computer science

Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2010-06-10 05:02:46
218Object-oriented programming / Computer programming / Data types / Polymorphism / Subtype polymorphism / Models of computation / Type system / Inheritance / Objective-C / Software engineering / Type theory / Computing

Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:34:34
219Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.dcc.fc.up.pt

Language: English - Date: 2008-08-20 09:09:33
220Computing / Infineon TriCore / Embedded system / Call graph / Compiler / GNU Compiler Collection / Control flow graph / Software / Programming language implementation / Compiler construction

StackAnalyzer for TriCore StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gr

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
UPDATE